COMMENT ⊗   VALID 00002 PAGES 
RECORD PAGE   DESCRIPTION
 00001 00001
 00002 00002	VAR: x,y,z
 00003 ENDMK
⊗;
VAR: x,y,z;
PRE_OP:m,b,c,f;PRE_PRED:r,a,cl,o,u,t,i,mv,cb;

AXIOM:
a(x)∧cl(x,y)⊃r(x,y);
o(x,y)∧u(y,b)∧t(y)⊃cl(x,b);
i(x)∧i(y)∧i(z)∧mv(x,y,z)⊃(cl(z,f)∨u(y,z));
cb(x,y)⊃o(x,y);
a(m);
t(c);
i(m);
i(b);
i(c);
mv(m,c,b);
¬cl(b,f);
cb(m,c);
THM: r(m,b);
;